261. Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
Author: Martin Wirsing, Dirk Pattinson, Rolf Hennicker )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
2755
262. Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001: selected papers
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software-- Development,Congresses ، Computer science-- Mathematics,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
76
.
D47
.
W33
2001
263. Relational and Algebraic Methods in Computer Science
Author: \ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق جبری -- کنگره ها
Classification :
QA
76
.
9
.
M35R4
2015
E-Book
,
264. Relational and algebraic methods in computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
265. Relational and algebraic methods in computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
266. Relational and algebraic methods in computer science :
Author: Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
Classification :
QA76
.
9
.
M35
267. Relational and algebraic methods in computer science :
Author: Wolfram Kahl, Timothy G. Griffin (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.
Classification :
QA76
.
9
.
M35
R36
2012eb
268. Research in data science
Author: / Ellen Gasparovic, Carlotta Domeniconi, editors.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science,Quantitative research, -- Congresses, -- Mathematics,a04,a05
Classification :
QA76
.
9
.
M35
2019
269. Reversible computation :
Author: Michael Kirkedal Thomsen, Mathias Soeken (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
Classification :
QA76
.
9
.
R48
270. Reversible computation :
Author: Robert Glück, Tetsuo Yokoyama (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
Classification :
QA76
.
9
.
L63
R634
2013
271. Selected topics in discrete mathematics: Proceeding of the Moscow Discrete Mathematics Seminar, 1972 - 1990
Author: edited by A. K. Kelmans
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Mathematics - Congresses,، Computer science - Mathematics - congresses
Classification :
QA
3
.
A4
S44
1994
272. Semantics and algebraic specificatio
Author: / Jens Palsberg (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
Classification :
QA
,
76
.
7
,.
S435
,
2009
273. Semantics and algebraic specification
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
274. Stochastic algorithms :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Algorithms ; Congresses ; Stochastic approximation ; Congresses ; Computer science ; Mathematics ; Congresses ;
275. Stochastic algorithms
Author: / Andreas Albrecht, Kathleen Steinheofel (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Algorithms--Congresses,Stochastic approximation--Congresses,Computer science--Mathematics--Congresses
Classification :
QA
,
9
.
58
,.
S24
,
2003
276. Stochastic algorithms
Author: / Kathleen Steinh?�fel, ed
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Algorithms--Congresses,Stochastic approximation--Congresses,Computer science--Mathematics--Congresses
Classification :
QA
,
9
.
58
,.
S24
,
2001
277. Stochastic algorithms
Author: Oleg B. Lupanov ... ]et al.[ )eds.(,Title
Library: (Mazandaran)
Subject: Algorithms, Congresses,Stochastic approximation, Congresses,Computer science, Mathematics, Congresses
Classification :
QA
.
S24
9
.
58
2005
278. Stochastic algorithms
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Algorithms ; Congresses. ; Stochastic approximation ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
279. Stochastic algorithms: foundations and applications
Author: / Oleg B. Lupanov ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Algorithms--Congresses,Stochastic approximation--Congresses,Computer science--Mathematics--Congresses
Classification :
QA
,
9
.
58
,.
S243
,
2005
280. Stochastic algorithms: foundations and applications
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science-- Mathematics
Classification :
QA
9
.
58
.
S24
2005
